Advanced Linear Algebra, Lecture 5.6: Isometries